Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
101	ALGORITHMS FOR SEMI-AUTOMATIC WEB SERVICE COMPOSITION: DATA MEDIATION AND SERVICE SUGGESTION by RUI WANG (Under the Direction of Eileen T. Kraemer and John A. Miller) ABSTRACT Add to Reading List Source URL: mango.ctegd.uga.edu Language: English - Date: 2013-11-20 03:56:57 Computing Web standards World Wide Web Web services Semantic Web Algorithm Mathematical logic Theoretical computer science Mediation Web Services Description Language SAWSDL Computational linguistics
102	Volunteer Waiver for Simon’s Cycles YANA Ride As a volunteer of the Simon’s Cycles YANA Ride, it is important that you have an understanding of the risks associated with your assigned duties. The following is intende Add to Reading List Source URL: www.yanacomoxvalley.com Language: English - Date: 2016-05-19 12:42:20 Actuarial science Financial risk Probability Risk Safety Occupational safety and health Probability and statistics Philosophical logic Academia
103	GROSS SUBSTITUTABILITY : AN ALGORITHMIC SURVEY RENATO PAES LEME∗ Abstract. The concept of gross substitute valuations was introduced by Kelso and Crawford as a sufficient conditions for the existence of Walrasian equil Add to Reading List Source URL: www.renatoppl.com Language: English - Date: 2013-11-28 12:54:41 Auction theory Mathematics Submodular set function Competitive equilibrium Theoretical computer science Valuation Gross substitutes Software engineering Pure Combinatory logic
104	CS364A: Algorithmic Game Theory Lecture #17: No-Regret Dynamics∗ Tim Roughgarden† November 18, 2013 This lecture continues to study the questions introduced last time. Do strategic players reach an equilibrium of a g Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2015-12-03 15:11:32 Mathematical logic Theoretical computer science Regret Mathematics Game theory Academia Applied mathematics Algorithms Swap regret
105	1 Convergence of Hypervolume-Based Archiving Algorithms Karl Bringmann and Tobias Friedrich Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-03 06:48:28 Algorithm Mathematical logic Theoretical computer science NC Mathematics Spectral theory Philosophy of mathematics Logic
106	IFSA Newsletter Vol. 4, No. 1, September 2007 In this issue: REPORT OF IFSA’2007 WORLD CONGRESS 1 Add to Reading List Source URL: isdlab.ie.ntnu.edu.tw Language: English - Date: 2016-04-12 22:54:46 Fuzzy logic Academia Science and technology Systems science Genetic fuzzy systems Fuzzy Sets and Systems Neuro-fuzzy Fuzzy set European Society for Fuzzy Logic and Technology Lotfi A. Zadeh Sankar Kumar Pal
107	Efficient Reasoning with Range and Domain Constraints Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov\|horrocks}@cs.man.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:09 Mathematics Logic Mathematical logic Algebraic structures Model theory Z notation Topology S Set theory Lattice Ring Axiom
108	Social Group Modeling with Probabilistic Soft Logic Bert Huang, Stephen H. Bach, Eric Norris, Jay Pujara, Lise Getoor Department of Computer Science University of Maryland College Park, MD 20742 Add to Reading List Source URL: stephenbach.net Language: English - Date: 2013-06-10 18:15:10 Computing Logic Philosophy Web 2.0 Twitter Social media Computer jargon Knowledge representation Probabilistic soft logic Hashtag Twitter usage First-order logic
109	Tutorial on Specialisation of Logic Programs J.P. Gallagher Department of Computer Science University of Bristol University Walk Bristol BS8 1TR, U.K. Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:29 Software engineering Logic Mathematical logic Logic programming Logic in computer science Automated theorem proving Predicate logic Prolog Horn clause Resolution Partial evaluation Mereology

UPDATE